Nuprl Definition : eclthrow 0,22
eclthrow(a;n) == inr(inr(inr(inr(inr(inr(inl(<a,n>))))))) 
latex

Definitionsinr(x), inl(x), <a,b>
FDL editor aliaseseclthrow, eclthrow

origin